verification algorithm造句
例句与造句
- a fingerprint verification algorithm based on fingerprint classification
一种基于指纹分类的指纹识别算法 - automatic fingerprint verification algorithm optimized implemented on embedded system
自动指纹识别算法在嵌入式系统上的优化实现 - this method signature limits the callers ability to influence the behavior of the verification algorithm
此方法签名限制调用方影响验证算法行为的能力。 - fingerprint verification algorithm includes two parts : fingerprint feature extraction and feature matching
指纹鉴别算法主要由指纹特征提取和特征匹配两部分组成。 - the results got by this method are satisfying . according to related literature, this paper integrated feature extracting procedure and fingerprint verification algorithm
综合相关文献,本文对指纹特征提取及验证算法作了整理,给出了指纹特征提取流程和指纹验证算法描述。 - It's difficult to find verification algorithm in a sentence. 用verification algorithm造句挺难的
- another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages
此外,在本文中,还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。 - based on this, we proposed a nc program verification algorithm named z & n . this algorithm can work well for high precise parts without needing finer subdivision
在此基础上,提出了一种局部再细分精确求解的编程精度验证算法(z&n方法),该方法不需增加细分密度,验证精度就可以有较大的提高。 - the nc verification algorithm named z & n method and named n & n method is presented, z & n method is involved in verification efficiency and n & n method lays a particular stress on verification effect . 3
在精度验证方面,提出了扩展z&n精度验证算法和法向n&n精度验证算法,分别提高了验证效率和改善了验证效果。 - with the rapid increase in the concurrent systems " scales, a challenging issue facing model-checking researchers is how to handle the huge state spaces . thus it becomes increasingly important to develop suitable computation models and to design efficient verification algorithms
随着并发系统规模的日益增大,对这类系统的模型检测面临着如何处理大规模状态空间问题的挑战,因此需要为实际的大规模并发系统精心选择计算模型,同时设计时空效率较高的算法。 - moreover, soc design process involves many theories and applications such as signal and system, integrated electronics, layout, semiconductor technology, verification algorithms, etc . hence, in order to master the soc frame and analysis method, standardize the design flow, and obtain the scheme for micro-controller based soc plan, it is necessary to study the soc design approach based on dw8051 ip core
此外,soc的设计过程涉及到信号与系统、集成电子学、版图、半导体工艺和测试验证等多种理论及应用知识,难度和工作量比较大。因此,有必要对集成电路中通用微控制器核(如dw8051核)的soc设计方法进行较深入的研究,掌握其基本设计思路和分析方法,完善设计流程,为基于其他类型微控制器核的soc应用设计提供参考和借鉴。 - upon the construction of weak derivation set, this thesis presents the concept of continuing traceability, and provides decision algorithm for the continuing traceability of a transformation sequence and tittering algorithm for the continuing traceable weak inverse attribute mapping . upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation
在构造弱起源集阶段,提出了可延续跟踪性的概念,给出了可延续跟踪性判别算法和可延续跟踪的弱逆映射的筛选算法;在验证弱起源集阶段,针对不同类型的转换和属性映射,给出了相应的验证算法。 - presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language; incorporating the module with the core verification algorithm; demonstrating the validation and analyzing the performance of the tool with some real-world examples
?扩充检测问题的定义语言?脚本语言的格式,使用sml语言实现了脚本语言的编译和扩展stga图生成模块,并将该模块和检测算法核心连接,实现了整个工具。论文还结合应用实例证明了扩展工作的有效性并分析了工具的性能。